package br.cin.ufpe.rabbit.tests;

import gov.nasa.jpf.PropertyListenerAdapter;
import gov.nasa.jpf.jvm.JVM;

public class objectIdsListener extends PropertyListenerAdapter{
	
	public void objectCreated(JVM vm) {
		///vm.getP
		System.out.println("objRef: " + vm.getLastElementInfo().getObjectRef()+ " object "+ vm.getLastElementInfo().toString() + " stateId: "+ vm.getStateId());
		//System.out.println(vm.getHeap());
	}
}
